package fr.inria.phoenix.scenario.bwsnfirefighting.framework.distributed.smokedetection;

public class GeneratedFramework extends fr.inria.diagen.core.GeneratedFramework {

    public static synchronized fr.inria.diagen.core.GeneratedFramework getInstance() {
        if (instance == null) {
          instance = new GeneratedFramework();
        }
        return instance;
    }
  
    protected static GeneratedFramework instance;
    
    public GeneratedFramework() {
      super();
      serviceProxyClasses.add(EnvironmentSensorDeviceProxy.class);
      serviceFilterClasses.add(EnvironmentSensorDeviceServiceFilter.class);

      datatypeClasses.add(java.lang.Boolean.class);

      datatypeClasses.add(fr.inria.phoenix.scenario.bwsnfirefighting.framework.datatype.Location.class);

      datatypeClasses.add(fr.inria.phoenix.scenario.bwsnfirefighting.framework.datatype.SmokeDetectionDataType.class);
      datatypeClasses.add(fr.inria.phoenix.scenario.bwsnfirefighting.framework.datatype.SmokeDetectionIndices.class);
    }
}